Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
81	Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-04-28 11:25:29
82	Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-10-19 12:35:07 Data types Type theory C++ Method Functional languages Standard ML C++ classes Algebraic data type Enumerated type Const Template Nullary constructor
83	Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Tom Bergan Dan Grossman Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-09-08 13:30:43 Abstract interpretation Symbolic execution Pointer Software engineering KeY Stack Static single assignment form Formal methods Data types Computing
84	The Collections Connection Ninth Edition (Really!) Josh Bloch Martin Buchholz Add to Reading List Source URL: g.oswego.edu Language: English - Date: 2006-05-29 06:28:47 Cross-platform software Java platform Abstract data types Sun Microsystems Java programming language Java collections framework Priority queue Java Iterator Computing Software engineering Computer programming
85	Josuttis: The C++ Standard Library July 1, 1999 page v Contents Preface Add to Reading List Source URL: www.josuttis.com Language: English - Date: 2002-12-25 20:37:16 Computer programming Abstract data types Object-oriented programming Cross-platform software Generic programming Iterator Standard Template Library Associative containers Sequence container Computing Software engineering C++ Standard Library
86	46-ICDT2005Top-k_HH_Streams.dvi Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2014-10-22 06:11:33 Hash table Algorithm Stack Sorting algorithm Fisher–Yates shuffle Mathematics Search algorithms Abstract data types
87	Adding Reference Counting to the Shared Source Common Language Infrastructure _Chris_Sells_ and _Christopher_Tavares_, Abstract Moving to a garbage-collected environment in the Common Language Runtime has, for th Add to Reading List Source URL: www.sellsbrothers.com Language: English - Date: 2004-02-23 00:43:00 Memory management Object-oriented programming Data types Finalizer Garbage collection Reference counting Manual memory management Resource Acquisition Is Initialization Smart pointer Computing Software engineering Computer programming
88	Data Structures David Morgan A list Add to Reading List Source URL: homepage.smc.edu Language: English - Date: 2014-05-03 04:37:46 Abstract data types Subroutines Stack Pointer Linked list Queue C Call stack Stack buffer overflow Software engineering Computing Computer programming
89	BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Lossy Dictionaries Lossy Dictionaries Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-06 08:24:05 Computer programming Abstract data types Data types Information retrieval Cryptographic hash functions Hash table Hash function Associative array Bit array Search algorithms Computing Hashing
90	Scrash: A System for Generating Secure Crash Information Pete Broadwell Matt Harren Naveen Sastry∗ University of California, Berkeley {pbwell, matth, nks}@cs.berkeley.edu Abstract Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:54 C++ Data types Memory management Software bugs Subroutines Pointer C dynamic memory allocation Setjmp.h Stack Software engineering Computing Computer programming

UPDATE